Parallelization of Garbage Collection in a CCP System Penny DRAFT
نویسندگان
چکیده
An important property of logic object oriented functional and other high level programming languages is their automatic manage ment of dynamically allocated storage These languages often take the burden of memory management away from the programmer The language support system provides the programmer with a virtually unlimited amount of storage by running a garbage collector to reclaim storage no longer needed The goal of this article is to present implementation and evaluation of a parallel garbage collection scheme used in a parallel concurrent constraint programming system called Penny running on a shared memory multiprocessors machine Our parallel garbage collector em ploys multiple collectors working in parallel to make e cient use of the underlying architecture Four strategies have been investigated these strategies range from a sequential strategy to a full parallel one
منابع مشابه
Parallelization of Garbage Collection in a Ccp System, Penny
An important property of logic, object-oriented, functional, and other high-level programming languages is their automatic management of dynamically allocated storage. These languages often take the burden of memory management away from the programmer. The language support system provides the programmer with a virtually unlimited amount of storage by running a garbage collector to reclaim stora...
متن کاملThe Non-stop Spineless Tagless G-machine Draft
We describe a technique for incorporating Baker's incremental garbage collection algorithm into the Spineless Tagless G-machine on stock hardware. This algorithm eliminates the stop/go execution associated with bulk copying collection algorithms, allowing the system to place an upper bound on the time taken to perform a store operation. The implementation is based on the manipulation of code-po...
متن کاملA New Library for Parallel Algebraic Computation
We give an overview on Paclib, a library for parallel algebraic computation on shared memory multiprocessors. Paclib is essentially a package of C functions that provide the basic objects and methods of computer algebra in a parallel context. The Paclib programming model supports concurrency, shared memory communication, non-determinism and speculative parallelism. The system is based on a heap...
متن کاملDraft Comparing Two Garbage Collectors for C++
Our research is concerned with compiler-independent, tag-free garbage collection for the C ++ programming language. This paper presents a mark-and-sweep collector , and explains how it ameliorates shortcomings of a previous copy collector. The new collector, like the old, uses C ++ 's facilities for creating abstract data types to deene a tracked reference type, called roots, at the level of th...
متن کاملUppsala Theses in Computing Science 26 Compilation Techniques for Prolog Compilation Techniques for Prolog
Current Prolog compilers are largely limited to optimizing a single predicate at a time. We propose two methods to express the global control of Prolog programs. The rst method transforms a Prolog program into a continuation-passing style, where all operations have explicit success and failure continuations. The second method directly constructs a control ow graph from the Prolog program. This ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003